/ Sprite 1984 - 1993 / Sprite 1984 - 1993.iso / lib / tex / inputs / theorem.sty

< prev

next >

MacOS 8.1

Win98

DOS

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 25 20 0a 25 25 20 54 | 68 69 73 20 69 73 20 66 |%% .%% T|his is f|
|00000010| 69 6c 65 20 60 74 68 65 | 6f 72 65 6d 2e 73 74 79 |ile `the|orem.sty|
|00000020| 27 20 67 65 6e 65 72 61 | 74 65 64 0a 25 25 20 6f |' genera|ted.%% o|
|00000030| 6e 20 3c 31 39 39 31 2f | 36 2f 32 31 3e 20 77 69 |n <1991/|6/21> wi|
|00000040| 74 68 20 74 68 65 20 64 | 6f 63 73 74 72 69 70 20 |th the d|ocstrip |
|00000050| 75 74 69 6c 69 74 79 20 | 28 76 31 2e 31 6c 20 74 |utility |(v1.1l t|
|00000060| 65 73 74 29 2e 20 0a 25 | 25 20 0a 25 25 20 54 68 |est). .%|% .%% Th|
|00000070| 65 20 6f 72 69 67 69 6e | 61 6c 20 73 6f 75 72 63 |e origin|al sourc|
|00000080| 65 20 66 69 6c 65 20 77 | 61 73 20 60 74 68 65 6f |e file w|as `theo|
|00000090| 72 65 6d 2e 64 6f 63 27 | 2e 0a 25 25 20 0a 25 25 |rem.doc'|..%% .%%|
|000000a0| 20 0a 25 25 20 43 6f 70 | 79 72 69 67 68 74 20 28 | .%% Cop|yright (|
|000000b0| 43 29 20 31 39 38 39 2c | 31 39 39 30 2c 31 39 39 |C) 1989,|1990,199|
|000000c0| 31 20 62 79 20 46 72 61 | 6e 6b 20 4d 69 74 74 65 |1 by Fra|nk Mitte|
|000000d0| 6c 62 61 63 68 2e 20 41 | 6c 6c 20 72 69 67 68 74 |lbach. A|ll right|
|000000e0| 73 20 72 65 73 65 72 76 | 65 64 2e 20 0a 25 25 20 |s reserv|ed. .%% |
|000000f0| 0a 25 25 20 49 4d 50 4f | 52 54 41 4e 54 20 4e 4f |.%% IMPO|RTANT NO|
|00000100| 54 49 43 45 3a 20 0a 25 | 25 20 0a 25 25 20 59 6f |TICE: .%|% .%% Yo|
|00000110| 75 20 61 72 65 20 6e 6f | 74 20 61 6c 6c 6f 77 65 |u are no|t allowe|
|00000120| 64 20 74 6f 20 63 68 61 | 6e 67 65 20 74 68 69 73 |d to cha|nge this|
|00000130| 20 66 69 6c 65 2e 20 59 | 6f 75 20 6d 61 79 20 68 | file. Y|ou may h|
|00000140| 6f 77 65 76 65 72 20 63 | 6f 70 79 20 74 68 69 73 |owever c|opy this|
|00000150| 20 66 69 6c 65 20 0a 25 | 25 20 74 6f 20 61 20 66 | file .%|% to a f|
|00000160| 69 6c 65 20 77 69 74 68 | 20 61 20 64 69 66 66 65 |ile with| a diffe|
|00000170| 72 65 6e 74 20 6e 61 6d | 65 20 61 6e 64 20 74 68 |rent nam|e and th|
|00000180| 65 6e 20 63 68 61 6e 67 | 65 20 74 68 65 20 63 6f |en chang|e the co|
|00000190| 70 79 2e 20 0a 25 25 20 | 0a 25 25 20 59 6f 75 20 |py. .%% |.%% You |
|000001a0| 61 72 65 20 4e 4f 54 20 | 41 4c 4c 4f 57 45 44 20 |are NOT |ALLOWED |
|000001b0| 74 6f 20 64 69 73 74 72 | 69 62 75 74 65 20 74 68 |to distr|ibute th|
|000001c0| 69 73 20 66 69 6c 65 20 | 61 6c 6f 6e 65 2e 20 59 |is file |alone. Y|
|000001d0| 6f 75 20 61 72 65 20 4e | 4f 54 20 41 4c 4c 4f 57 |ou are N|OT ALLOW|
|000001e0| 45 44 20 0a 25 25 20 74 | 6f 20 74 61 6b 65 20 6d |ED .%% t|o take m|
|000001f0| 6f 6e 65 79 20 66 6f 72 | 20 74 68 65 20 64 69 73 |oney for| the dis|
|00000200| 74 72 69 62 75 74 69 6f | 6e 20 6f 72 20 75 73 65 |tributio|n or use|
|00000210| 20 6f 66 20 74 68 69 73 | 20 66 69 6c 65 20 28 6f | of this| file (o|
|00000220| 72 20 61 20 63 68 61 6e | 67 65 64 20 0a 25 25 20 |r a chan|ged .%% |
|00000230| 76 65 72 73 69 6f 6e 29 | 20 65 78 63 65 70 74 20 |version)| except |
|00000240| 66 6f 72 20 61 20 6e 6f | 6d 69 6e 61 6c 20 63 68 |for a no|minal ch|
|00000250| 61 72 67 65 20 66 6f 72 | 20 63 6f 70 79 69 6e 67 |arge for| copying|
|00000260| 20 65 74 63 2e 20 0a 25 | 25 20 0a 25 25 20 59 6f | etc. .%|% .%% Yo|
|00000270| 75 20 61 72 65 20 61 6c | 6c 6f 77 65 64 20 74 6f |u are al|lowed to|
|00000280| 20 64 69 73 74 72 69 62 | 75 74 65 20 74 68 69 73 | distrib|ute this|
|00000290| 20 66 69 6c 65 20 75 6e | 64 65 72 20 74 68 65 20 | file un|der the |
|000002a0| 63 6f 6e 64 69 74 69 6f | 6e 20 74 68 61 74 20 69 |conditio|n that i|
|000002b0| 74 20 69 73 20 0a 25 25 | 20 64 69 73 74 72 69 62 |t is .%%| distrib|
|000002c0| 75 74 65 64 20 74 6f 67 | 65 74 68 65 72 20 77 69 |uted tog|ether wi|
|000002d0| 74 68 20 61 6c 6c 20 66 | 69 6c 65 73 20 6d 65 6e |th all f|iles men|
|000002e0| 74 69 6f 6e 65 64 20 69 | 6e 20 72 65 61 64 6d 65 |tioned i|n readme|
|000002f0| 2e 6d 7a 32 2e 20 0a 25 | 25 20 0a 25 25 20 49 66 |.mz2. .%|% .%% If|
|00000300| 20 79 6f 75 20 72 65 63 | 65 69 76 65 20 6f 6e 6c | you rec|eive onl|
|00000310| 79 20 73 6f 6d 65 20 6f | 66 20 74 68 65 73 65 20 |y some o|f these |
|00000320| 66 69 6c 65 73 20 66 72 | 6f 6d 20 73 6f 6d 65 6f |files fr|om someo|
|00000330| 6e 65 2c 20 63 6f 6d 70 | 6c 61 69 6e 21 20 0a 25 |ne, comp|lain! .%|
|00000340| 25 20 0a 25 25 20 48 6f | 77 65 76 65 72 2c 20 69 |% .%% Ho|wever, i|
|00000350| 66 20 74 68 65 73 65 20 | 66 69 6c 65 73 20 61 72 |f these |files ar|
|00000360| 65 20 64 69 73 74 72 69 | 62 75 74 65 64 20 62 79 |e distri|buted by|
|00000370| 20 65 73 74 61 62 6c 69 | 73 68 65 64 20 73 75 70 | establi|shed sup|
|00000380| 70 6c 69 65 72 73 20 61 | 73 20 70 61 72 74 20 0a |pliers a|s part .|
|00000390| 25 25 20 6f 66 20 61 20 | 63 6f 6d 70 6c 65 74 65 |%% of a |complete|
|000003a0| 20 54 65 58 20 64 69 73 | 74 72 69 62 75 74 69 6f | TeX dis|tributio|
|000003b0| 6e 2c 20 61 6e 64 20 74 | 68 65 20 73 74 72 75 63 |n, and t|he struc|
|000003c0| 74 75 72 65 20 6f 66 20 | 74 68 65 20 64 69 73 74 |ture of |the dist|
|000003d0| 72 69 62 75 74 69 6f 6e | 20 0a 25 25 20 77 6f 75 |ribution| .%% wou|
|000003e0| 6c 64 20 6d 61 6b 65 20 | 69 74 20 64 69 66 66 69 |ld make |it diffi|
|000003f0| 63 75 6c 74 20 74 6f 20 | 64 69 73 74 72 69 62 75 |cult to |distribu|
|00000400| 74 65 20 74 68 65 20 77 | 68 6f 6c 65 20 73 65 74 |te the w|hole set|
|00000410| 20 6f 66 20 66 69 6c 65 | 73 2c 20 2a 74 68 6f 73 | of file|s, *thos|
|00000420| 65 20 0a 25 25 20 70 61 | 72 74 69 65 73 2a 20 61 |e .%% pa|rties* a|
|00000430| 72 65 20 61 6c 6c 6f 77 | 65 64 20 74 6f 20 64 69 |re allow|ed to di|
|00000440| 73 74 72 69 62 75 74 65 | 20 6f 6e 6c 79 20 73 6f |stribute| only so|
|00000450| 6d 65 20 6f 66 20 74 68 | 65 20 66 69 6c 65 73 20 |me of th|e files |
|00000460| 70 72 6f 76 69 64 65 64 | 20 74 68 61 74 20 0a 25 |provided| that .%|
|00000470| 25 20 69 74 20 69 73 20 | 6d 61 64 65 20 63 6c 65 |% it is |made cle|
|00000480| 61 72 20 74 68 61 74 20 | 74 68 65 20 75 73 65 72 |ar that |the user|
|00000490| 20 77 69 6c 6c 20 67 65 | 74 20 61 20 63 6f 6d 70 | will ge|t a comp|
|000004a0| 6c 65 74 65 20 64 69 73 | 74 72 69 62 75 74 69 6f |lete dis|tributio|
|000004b0| 6e 2d 73 65 74 20 75 70 | 6f 6e 20 0a 25 25 20 72 |n-set up|on .%% r|
|000004c0| 65 71 75 65 73 74 20 74 | 6f 20 74 68 61 74 20 73 |equest t|o that s|
|000004d0| 75 70 70 6c 69 65 72 20 | 28 6e 6f 74 20 6d 65 29 |upplier |(not me)|
|000004e0| 2e 20 0a 25 25 20 4e 6f | 74 69 63 65 20 74 68 61 |. .%% No|tice tha|
|000004f0| 74 20 74 68 69 73 20 70 | 65 72 6d 69 73 73 69 6f |t this p|ermissio|
|00000500| 6e 20 69 73 20 6e 6f 74 | 20 67 72 61 6e 74 65 64 |n is not| granted|
|00000510| 20 74 6f 20 74 68 65 20 | 65 6e 64 20 75 73 65 72 | to the |end user|
|00000520| 2e 20 0a 25 25 20 0a 25 | 25 20 45 72 72 6f 72 20 |. .%% .%|% Error |
|00000530| 52 65 70 6f 72 74 73 20 | 69 6e 20 63 61 73 65 20 |Reports |in case |
|00000540| 6f 66 20 55 4e 43 48 41 | 4e 47 45 44 20 76 65 72 |of UNCHA|NGED ver|
|00000550| 73 69 6f 6e 73 20 74 6f | 20 0a 25 25 20 0a 25 25 |sions to| .%% .%%|
|00000560| 20 46 2e 20 4d 69 74 74 | 65 6c 62 61 63 68 20 0a | F. Mitt|elbach .|
|00000570| 25 25 20 45 69 63 68 65 | 6e 77 65 67 20 32 39 20 |%% Eiche|nweg 29 |
|00000580| 0a 25 25 20 44 2d 36 35 | 30 30 20 4d 61 69 6e 7a |.%% D-65|00 Mainz|
|00000590| 20 31 20 0a 25 25 20 46 | 65 64 65 72 61 6c 20 52 | 1 .%% F|ederal R|
|000005a0| 65 70 75 62 6c 69 63 20 | 6f 66 20 47 65 72 6d 61 |epublic |of Germa|
|000005b0| 6e 79 20 0a 25 25 20 42 | 69 74 6e 65 74 3a 20 3c |ny .%% B|itnet: <|
|000005c0| 50 5a 46 35 48 5a 40 52 | 55 49 50 43 31 45 3e 20 |PZF5HZ@R|UIPC1E> |
|000005d0| 0a 25 25 20 0a 0a 5c 64 | 65 66 5c 66 69 6c 65 76 |.%% ..\d|ef\filev|
|000005e0| 65 72 73 69 6f 6e 7b 76 | 32 2e 31 62 7d 0a 5c 64 |ersion{v|2.1b}.\d|
|000005f0| 65 66 5c 66 69 6c 65 64 | 61 74 65 7b 39 30 2f 30 |ef\filed|ate{90/0|
|00000600| 36 2f 30 34 7d 0a 5c 64 | 65 66 5c 64 6f 63 64 61 |6/04}.\d|ef\docda|
|00000610| 74 65 20 7b 39 30 2f 30 | 36 2f 30 34 7d 0a 0a 25 |te {90/0|6/04}..%|
|00000620| 25 20 5c 43 68 65 63 6b | 53 75 6d 7b 35 30 39 7d |% \Check|Sum{509}|
|00000630| 0a 25 25 20 5c 43 68 61 | 72 61 63 74 65 72 54 61 |.%% \Cha|racterTa|
|00000640| 62 6c 65 0a 25 25 20 20 | 7b 55 70 70 65 72 2d 63 |ble.%%  |{Upper-c|
|00000650| 61 73 65 20 20 20 20 5c | 41 5c 42 5c 43 5c 44 5c |ase    \|A\B\C\D\|
|00000660| 45 5c 46 5c 47 5c 48 5c | 49 5c 4a 5c 4b 5c 4c 5c |E\F\G\H\|I\J\K\L\|
|00000670| 4d 5c 4e 5c 4f 5c 50 5c | 51 5c 52 5c 53 5c 54 5c |M\N\O\P\|Q\R\S\T\|
|00000680| 55 5c 56 5c 57 5c 58 5c | 59 5c 5a 0a 25 25 20 20 |U\V\W\X\|Y\Z.%%  |
|00000690| 20 4c 6f 77 65 72 2d 63 | 61 73 65 20 20 20 20 5c | Lower-c|ase    \|
|000006a0| 61 5c 62 5c 63 5c 64 5c | 65 5c 66 5c 67 5c 68 5c |a\b\c\d\|e\f\g\h\|
|000006b0| 69 5c 6a 5c 6b 5c 6c 5c | 6d 5c 6e 5c 6f 5c 70 5c |i\j\k\l\|m\n\o\p\|
|000006c0| 71 5c 72 5c 73 5c 74 5c | 75 5c 76 5c 77 5c 78 5c |q\r\s\t\|u\v\w\x\|
|000006d0| 79 5c 7a 0a 25 25 20 20 | 20 44 69 67 69 74 73 20 |y\z.%%  | Digits |
|000006e0| 20 20 20 20 20 20 20 5c | 30 5c 31 5c 32 5c 33 5c |       \|0\1\2\3\|
|000006f0| 34 5c 35 5c 36 5c 37 5c | 38 5c 39 0a 25 25 20 20 |4\5\6\7\|8\9.%%  |
|00000700| 20 45 78 63 6c 61 6d 61 | 74 69 6f 6e 20 20 20 5c | Exclama|tion   \|
|00000710| 21 20 20 20 20 20 44 6f | 75 62 6c 65 20 71 75 6f |!     Do|uble quo|
|00000720| 74 65 20 20 5c 22 20 20 | 20 20 20 48 61 73 68 20 |te  \"  |   Hash |
|00000730| 28 6e 75 6d 62 65 72 29 | 20 5c 23 0a 25 25 20 20 |(number)| \#.%%  |
|00000740| 20 44 6f 6c 6c 61 72 20 | 20 20 20 20 20 20 20 5c | Dollar |       \|
|00000750| 24 20 20 20 20 20 50 65 | 72 63 65 6e 74 20 20 20 |$     Pe|rcent   |
|00000760| 20 20 20 20 5c 25 20 20 | 20 20 20 41 6d 70 65 72 |    \%  |   Amper|
|00000770| 73 61 6e 64 20 20 20 20 | 20 5c 26 0a 25 25 20 20 |sand    | \&.%%  |
|00000780| 20 41 63 75 74 65 20 61 | 63 63 65 6e 74 20 20 5c | Acute a|ccent  \|
|00000790| 27 20 20 20 20 20 4c 65 | 66 74 20 70 61 72 65 6e |'     Le|ft paren|
|000007a0| 20 20 20 20 5c 28 20 20 | 20 20 20 52 69 67 68 74 |    \(  |   Right|
|000007b0| 20 70 61 72 65 6e 20 20 | 20 5c 29 0a 25 25 20 20 | paren  | \).%%  |
|000007c0| 20 41 73 74 65 72 69 73 | 6b 20 20 20 20 20 20 5c | Asteris|k      \|
|000007d0| 2a 20 20 20 20 20 50 6c | 75 73 20 20 20 20 20 20 |*     Pl|us      |
|000007e0| 20 20 20 20 5c 2b 20 20 | 20 20 20 43 6f 6d 6d 61 |    \+  |   Comma|
|000007f0| 20 20 20 20 20 20 20 20 | 20 5c 2c 0a 25 25 20 20 |        | \,.%%  |
|00000800| 20 4d 69 6e 75 73 20 20 | 20 20 20 20 20 20 20 5c | Minus  |       \|
|00000810| 2d 20 20 20 20 20 50 6f | 69 6e 74 20 20 20 20 20 |-     Po|int     |
|00000820| 20 20 20 20 5c 2e 20 20 | 20 20 20 53 6f 6c 69 64 |    \.  |   Solid|
|00000830| 75 73 20 20 20 20 20 20 | 20 5c 2f 0a 25 25 20 20 |us      | \/.%%  |
|00000840| 20 43 6f 6c 6f 6e 20 20 | 20 20 20 20 20 20 20 5c | Colon  |       \|
|00000850| 3a 20 20 20 20 20 53 65 | 6d 69 63 6f 6c 6f 6e 20 |:     Se|micolon |
|00000860| 20 20 20 20 5c 3b 20 20 | 20 20 20 4c 65 73 73 20 |    \;  |   Less |
|00000870| 74 68 61 6e 20 20 20 20 | 20 5c 3c 0a 25 25 20 20 |than    | \<.%%  |
|00000880| 20 45 71 75 61 6c 73 20 | 20 20 20 20 20 20 20 5c | Equals |       \|
|00000890| 3d 20 20 20 20 20 47 72 | 65 61 74 65 72 20 74 68 |=     Gr|eater th|
|000008a0| 61 6e 20 20 5c 3e 20 20 | 20 20 20 51 75 65 73 74 |an  \>  |   Quest|
|000008b0| 69 6f 6e 20 6d 61 72 6b | 20 5c 3f 0a 25 25 20 20 |ion mark| \?.%%  |
|000008c0| 20 43 6f 6d 6d 65 72 63 | 69 61 6c 20 61 74 20 5c | Commerc|ial at \|
|000008d0| 40 20 20 20 20 20 4c 65 | 66 74 20 62 72 61 63 6b |@     Le|ft brack|
|000008e0| 65 74 20 20 5c 5b 20 20 | 20 20 20 42 61 63 6b 73 |et  \[  |   Backs|
|000008f0| 6c 61 73 68 20 20 20 20 | 20 5c 5c 0a 25 25 20 20 |lash    | \\.%%  |
|00000900| 20 52 69 67 68 74 20 62 | 72 61 63 6b 65 74 20 5c | Right b|racket \|
|00000910| 5d 20 20 20 20 20 43 69 | 72 63 75 6d 66 6c 65 78 |]     Ci|rcumflex|
|00000920| 20 20 20 20 5c 5e 20 20 | 20 20 20 55 6e 64 65 72 |    \^  |   Under|
|00000930| 73 63 6f 72 65 20 20 20 | 20 5c 5f 0a 25 25 20 20 |score   | \_.%%  |
|00000940| 20 47 72 61 76 65 20 61 | 63 63 65 6e 74 20 20 5c | Grave a|ccent  \|
|00000950| 60 20 20 20 20 20 4c 65 | 66 74 20 62 72 61 63 65 |`     Le|ft brace|
|00000960| 20 20 20 20 5c 7b 20 20 | 20 20 20 56 65 72 74 69 |    \{  |   Verti|
|00000970| 63 61 6c 20 62 61 72 20 | 20 5c 7c 0a 25 25 20 20 |cal bar | \|.%%  |
|00000980| 20 52 69 67 68 74 20 62 | 72 61 63 65 20 20 20 5c | Right b|race   \|
|00000990| 7d 20 20 20 20 20 54 69 | 6c 64 65 20 20 20 20 20 |}     Ti|lde     |
|000009a0| 20 20 20 20 5c 7e 7d 0a | 25 25 0a 5c 40 69 66 75 |    \~}.|%%.\@ifu|
|000009b0| 6e 64 65 66 69 6e 65 64 | 7b 74 68 65 6f 72 65 6d |ndefined|{theorem|
|000009c0| 40 73 74 79 6c 65 7d 7b | 7d 7b 5c 65 6e 64 69 6e |@style}{|}{\endin|
|000009d0| 70 75 74 7d 0a 5c 74 79 | 70 65 6f 75 74 7b 53 74 |put}.\ty|peout{St|
|000009e0| 79 6c 65 20 6f 70 74 69 | 6f 6e 3a 20 60 74 68 65 |yle opti|on: `the|
|000009f0| 6f 72 65 6d 27 20 5c 66 | 69 6c 65 76 65 72 73 69 |orem' \f|ileversi|
|00000a00| 6f 6e 20 5c 73 70 61 63 | 65 5c 73 70 61 63 65 0a |on \spac|e\space.|
|00000a10| 20 20 20 20 20 20 20 20 | 20 3c 5c 66 69 6c 65 64 |        | <\filed|
|00000a20| 61 74 65 3e 20 20 28 46 | 4d 69 29 7d 0a 5c 74 79 |ate>  (F|Mi)}.\ty|
|00000a30| 70 65 6f 75 74 7b 45 6e | 67 6c 69 73 68 20 64 6f |peout{En|glish do|
|00000a40| 63 75 6d 65 6e 74 61 74 | 69 6f 6e 20 61 73 20 6f |cumentat|ion as o|
|00000a50| 66 20 5c 73 70 61 63 65 | 5c 73 70 61 63 65 5c 73 |f \space|\space\s|
|00000a60| 70 61 63 65 0a 20 20 20 | 20 20 20 20 20 20 3c 5c |pace.   |      <\|
|00000a70| 64 6f 63 64 61 74 65 3e | 20 20 28 46 4d 69 29 7d |docdate>|  (FMi)}|
|00000a80| 0a 5c 67 64 65 66 5c 74 | 68 65 6f 72 65 6d 73 74 |.\gdef\t|heoremst|
|00000a90| 79 6c 65 23 31 7b 25 0a | 20 20 20 5c 40 69 66 75 |yle#1{%.|   \@ifu|
|00000aa0| 6e 64 65 66 69 6e 65 64 | 7b 74 68 40 23 31 7d 7b |ndefined|{th@#1}{|
|00000ab0| 5c 40 77 61 72 6e 69 6e | 67 0a 20 20 20 20 20 20 |\@warnin|g.      |
|00000ac0| 20 20 20 20 7b 55 6e 6b | 6e 6f 77 6e 20 74 68 65 |    {Unk|nown the|
|00000ad0| 6f 72 65 6d 73 74 79 6c | 65 20 60 23 31 27 2e 20 |oremstyl|e `#1'. |
|00000ae0| 55 73 69 6e 67 20 60 70 | 6c 61 69 6e 27 7d 25 0a |Using `p|lain'}%.|
|00000af0| 20 20 20 20 20 20 20 20 | 20 20 5c 74 68 65 6f 72 |        |  \theor|
|00000b00| 65 6d 40 73 74 79 6c 65 | 7b 70 6c 61 69 6e 7d 7d |em@style|{plain}}|
|00000b10| 25 0a 20 20 20 20 20 20 | 7b 5c 74 68 65 6f 72 65 |%.      |{\theore|
|00000b20| 6d 40 73 74 79 6c 65 7b | 23 31 7d 7d 25 0a 20 20 |m@style{|#1}}%.  |
|00000b30| 20 20 20 20 5c 62 65 67 | 69 6e 67 72 6f 75 70 0a |    \beg|ingroup.|
|00000b40| 20 20 20 20 20 20 20 20 | 5c 63 73 6e 61 6d 65 20 |        |\csname |
|00000b50| 74 68 40 5c 74 68 65 5c | 74 68 65 6f 72 65 6d 40 |th@\the\|theorem@|
|00000b60| 73 74 79 6c 65 20 5c 65 | 6e 64 63 73 6e 61 6d 65 |style \e|ndcsname|
|00000b70| 0a 20 20 20 20 20 20 5c | 65 6e 64 67 72 6f 75 70 |.      \|endgroup|
|00000b80| 7d 0a 5c 67 6c 6f 62 61 | 6c 5c 6c 65 74 5c 40 62 |}.\globa|l\let\@b|
|00000b90| 65 67 69 6e 74 68 65 6f | 72 65 6d 5c 72 65 6c 61 |egintheo|rem\rela|
|00000ba0| 78 0a 5c 67 6c 6f 62 61 | 6c 5c 6c 65 74 5c 40 6f |x.\globa|l\let\@o|
|00000bb0| 70 61 72 67 62 65 67 69 | 6e 74 68 65 6f 72 65 6d |pargbegi|ntheorem|
|00000bc0| 5c 72 65 6c 61 78 0a 5c | 6e 65 77 74 6f 6b 73 5c |\relax.\|newtoks\|
|00000bd0| 74 68 65 6f 72 65 6d 40 | 73 74 79 6c 65 0a 5c 67 |theorem@|style.\g|
|00000be0| 6c 6f 62 61 6c 5c 74 68 | 65 6f 72 65 6d 40 73 74 |lobal\th|eorem@st|
|00000bf0| 79 6c 65 7b 70 6c 61 69 | 6e 7d 0a 5c 6e 65 77 74 |yle{plai|n}.\newt|
|00000c00| 6f 6b 73 5c 74 68 65 6f | 72 65 6d 62 6f 64 79 66 |oks\theo|rembodyf|
|00000c10| 6f 6e 74 0a 5c 67 6c 6f | 62 61 6c 5c 74 68 65 6f |ont.\glo|bal\theo|
|00000c20| 72 65 6d 62 6f 64 79 66 | 6f 6e 74 7b 7d 0a 5c 67 |rembodyf|ont{}.\g|
|00000c30| 64 65 66 5c 74 68 65 6f | 72 65 6d 68 65 61 64 65 |def\theo|remheade|
|00000c40| 72 66 6f 6e 74 23 31 7b | 5c 67 64 65 66 5c 74 68 |rfont#1{|\gdef\th|
|00000c50| 65 6f 72 65 6d 40 68 65 | 61 64 65 72 66 6f 6e 74 |eorem@he|aderfont|
|00000c60| 7b 23 31 7d 25 0a 20 20 | 20 20 20 20 20 5c 67 64 |{#1}%.  |     \gd|
|00000c70| 65 66 5c 74 68 65 6f 72 | 65 6d 68 65 61 64 65 72 |ef\theor|emheader|
|00000c80| 66 6f 6e 74 23 23 31 7b | 25 0a 20 20 20 20 20 20 |font##1{|%.      |
|00000c90| 20 20 5c 74 79 70 65 6f | 75 74 7b 5c 73 74 72 69 |  \typeo|ut{\stri|
|00000ca0| 6e 67 5c 74 68 65 6f 72 | 65 6d 68 65 61 64 65 72 |ng\theor|emheader|
|00000cb0| 66 6f 6e 74 5c 73 70 61 | 63 65 20 73 68 6f 75 6c |font\spa|ce shoul|
|00000cc0| 64 20 62 65 20 75 73 65 | 64 0a 20 20 20 20 20 20 |d be use|d.      |
|00000cd0| 20 20 20 20 20 20 20 20 | 20 20 20 6f 6e 6c 79 20 |        |   only |
|00000ce0| 6f 6e 63 65 2e 7d 7d 7d | 0a 5c 69 66 78 5c 6e 6f |once.}}}|.\ifx\no|
|00000cf0| 72 6d 61 6c 73 68 61 70 | 65 5c 75 6e 64 65 66 69 |rmalshap|e\undefi|
|00000d00| 6e 65 64 0a 5c 67 64 65 | 66 5c 74 68 65 6f 72 65 |ned.\gde|f\theore|
|00000d10| 6d 40 68 65 61 64 65 72 | 66 6f 6e 74 7b 5c 62 66 |m@header|font{\bf|
|00000d20| 7d 0a 5c 65 6c 73 65 20 | 5c 67 64 65 66 5c 74 68 |}.\else |\gdef\th|
|00000d30| 65 6f 72 65 6d 40 68 65 | 61 64 65 72 66 6f 6e 74 |eorem@he|aderfont|
|00000d40| 7b 5c 6e 6f 72 6d 61 6c | 73 68 61 70 65 5c 62 66 |{\normal|shape\bf|
|00000d50| 7d 5c 66 69 0a 5c 67 64 | 65 66 5c 74 68 40 70 6c |}\fi.\gd|ef\th@pl|
|00000d60| 61 69 6e 7b 5c 69 6e 70 | 75 74 20 74 68 70 2e 73 |ain{\inp|ut thp.s|
|00000d70| 74 79 7d 0a 5c 67 64 65 | 66 5c 74 68 40 62 72 65 |ty}.\gde|f\th@bre|
|00000d80| 61 6b 7b 5c 69 6e 70 75 | 74 20 74 68 62 2e 73 74 |ak{\inpu|t thb.st|
|00000d90| 79 7d 0a 5c 67 64 65 66 | 5c 74 68 40 6d 61 72 67 |y}.\gdef|\th@marg|
|00000da0| 69 6e 62 72 65 61 6b 7b | 5c 69 6e 70 75 74 20 74 |inbreak{|\input t|
|00000db0| 68 6d 62 2e 73 74 79 7d | 0a 5c 67 64 65 66 5c 74 |hmb.sty}|.\gdef\t|
|00000dc0| 68 40 63 68 61 6e 67 65 | 62 72 65 61 6b 7b 5c 69 |h@change|break{\i|
|00000dd0| 6e 70 75 74 20 74 68 63 | 62 2e 73 74 79 7d 0a 5c |nput thc|b.sty}.\|
|00000de0| 67 64 65 66 5c 74 68 40 | 63 68 61 6e 67 65 7b 5c |gdef\th@|change{\|
|00000df0| 69 6e 70 75 74 20 74 68 | 63 2e 73 74 79 7d 0a 5c |input th|c.sty}.\|
|00000e00| 67 64 65 66 5c 74 68 40 | 6d 61 72 67 69 6e 7b 5c |gdef\th@|margin{\|
|00000e10| 69 6e 70 75 74 20 74 68 | 6d 2e 73 74 79 7d 0a 5c |input th|m.sty}.\|
|00000e20| 67 64 65 66 5c 40 78 6e | 74 68 6d 23 31 23 32 5b |gdef\@xn|thm#1#2[|
|00000e30| 23 33 5d 7b 5c 65 78 70 | 61 6e 64 61 66 74 65 72 |#3]{\exp|andafter|
|00000e40| 5c 40 69 66 64 65 66 69 | 6e 61 62 6c 65 5c 63 73 |\@ifdefi|nable\cs|
|00000e50| 6e 61 6d 65 20 23 31 5c | 65 6e 64 63 73 6e 61 6d |name #1\|endcsnam|
|00000e60| 65 0a 20 20 20 7b 25 0a | 20 20 20 20 5c 40 64 65 |e.   {%.|    \@de|
|00000e70| 66 69 6e 65 63 6f 75 6e | 74 65 72 7b 23 31 7d 5c |finecoun|ter{#1}\|
|00000e80| 40 61 64 64 74 6f 72 65 | 73 65 74 7b 23 31 7d 7b |@addtore|set{#1}{|
|00000e90| 23 33 7d 25 0a 20 20 20 | 20 5c 65 78 70 61 6e 64 |#3}%.   | \expand|
|00000ea0| 61 66 74 65 72 5c 78 64 | 65 66 5c 63 73 6e 61 6d |after\xd|ef\csnam|
|00000eb0| 65 20 74 68 65 23 31 5c | 65 6e 64 63 73 6e 61 6d |e the#1\|endcsnam|
|00000ec0| 65 0a 20 20 20 20 20 20 | 7b 5c 65 78 70 61 6e 64 |e.      |{\expand|
|00000ed0| 61 66 74 65 72 20 5c 6e | 6f 65 78 70 61 6e 64 20 |after \n|oexpand |
|00000ee0| 5c 63 73 6e 61 6d 65 20 | 74 68 65 23 33 5c 65 6e |\csname |the#3\en|
|00000ef0| 64 63 73 6e 61 6d 65 0a | 20 20 20 20 20 20 20 5c |dcsname.|       \|
|00000f00| 40 74 68 6d 63 6f 75 6e | 74 65 72 73 65 70 20 5c |@thmcoun|tersep \|
|00000f10| 40 74 68 6d 63 6f 75 6e | 74 65 72 7b 23 31 7d 7d |@thmcoun|ter{#1}}|
|00000f20| 25 0a 20 20 20 20 5c 64 | 65 66 5c 40 74 65 6d 70 |%.    \d|ef\@temp|
|00000f30| 61 7b 5c 67 6c 6f 62 61 | 6c 5c 40 6e 61 6d 65 64 |a{\globa|l\@named|
|00000f40| 65 66 7b 23 31 7d 7d 25 | 0a 20 20 20 20 5c 65 78 |ef{#1}}%|.    \ex|
|00000f50| 70 61 6e 64 61 66 74 65 | 72 20 5c 40 74 65 6d 70 |pandafte|r \@temp|
|00000f60| 61 20 5c 65 78 70 61 6e | 64 61 66 74 65 72 7b 25 |a \expan|dafter{%|
|00000f70| 0a 20 20 20 20 20 20 5c | 63 73 6e 61 6d 65 20 74 |.      \|csname t|
|00000f80| 68 40 5c 74 68 65 20 5c | 74 68 65 6f 72 65 6d 40 |h@\the \|theorem@|
|00000f90| 73 74 79 6c 65 0a 20 20 | 20 20 20 20 20 20 20 20 |style.  |        |
|00000fa0| 20 20 5c 65 78 70 61 6e | 64 61 66 74 65 72 20 5c |  \expan|dafter \|
|00000fb0| 65 6e 64 63 73 6e 61 6d | 65 20 5c 74 68 65 20 5c |endcsnam|e \the \|
|00000fc0| 74 68 65 6f 72 65 6d 62 | 6f 64 79 66 6f 6e 74 0a |theoremb|odyfont.|
|00000fd0| 20 20 20 20 20 5c 40 74 | 68 6d 7b 23 31 7d 7b 23 |     \@t|hm{#1}{#|
|00000fe0| 32 7d 7d 25 0a 20 20 20 | 20 5c 67 6c 6f 62 61 6c |2}}%.   | \global|
|00000ff0| 20 5c 65 78 70 61 6e 64 | 61 66 74 65 72 20 5c 6c | \expand|after \l|
|00001000| 65 74 20 5c 63 73 6e 61 | 6d 65 20 65 6e 64 23 31 |et \csna|me end#1|
|00001010| 5c 65 6e 64 63 73 6e 61 | 6d 65 20 5c 40 65 6e 64 |\endcsna|me \@end|
|00001020| 74 68 65 6f 72 65 6d 0a | 20 20 20 7d 7d 0a 5c 67 |theorem.|   }}.\g|
|00001030| 64 65 66 5c 40 79 6e 74 | 68 6d 23 31 23 32 7b 5c |def\@ynt|hm#1#2{\|
|00001040| 65 78 70 61 6e 64 61 66 | 74 65 72 5c 40 69 66 64 |expandaf|ter\@ifd|
|00001050| 65 66 69 6e 61 62 6c 65 | 5c 63 73 6e 61 6d 65 20 |efinable|\csname |
|00001060| 23 31 5c 65 6e 64 63 73 | 6e 61 6d 65 0a 20 20 20 |#1\endcs|name.   |
|00001070| 7b 5c 40 64 65 66 69 6e | 65 63 6f 75 6e 74 65 72 |{\@defin|ecounter|
|00001080| 7b 23 31 7d 25 0a 20 20 | 20 20 5c 65 78 70 61 6e |{#1}%.  |  \expan|
|00001090| 64 61 66 74 65 72 5c 78 | 64 65 66 5c 63 73 6e 61 |dafter\x|def\csna|
|000010a0| 6d 65 20 74 68 65 23 31 | 5c 65 6e 64 63 73 6e 61 |me the#1|\endcsna|
|000010b0| 6d 65 7b 5c 40 74 68 6d | 63 6f 75 6e 74 65 72 7b |me{\@thm|counter{|
|000010c0| 23 31 7d 7d 25 0a 20 20 | 20 20 5c 64 65 66 5c 40 |#1}}%.  |  \def\@|
|000010d0| 74 65 6d 70 61 7b 5c 67 | 6c 6f 62 61 6c 5c 40 6e |tempa{\g|lobal\@n|
|000010e0| 61 6d 65 64 65 66 7b 23 | 31 7d 7d 5c 65 78 70 61 |amedef{#|1}}\expa|
|000010f0| 6e 64 61 66 74 65 72 20 | 5c 40 74 65 6d 70 61 0a |ndafter |\@tempa.|
|00001100| 20 20 20 20 20 5c 65 78 | 70 61 6e 64 61 66 74 65 |     \ex|pandafte|
|00001110| 72 7b 5c 63 73 6e 61 6d | 65 20 74 68 40 5c 74 68 |r{\csnam|e th@\th|
|00001120| 65 20 5c 74 68 65 6f 72 | 65 6d 40 73 74 79 6c 65 |e \theor|em@style|
|00001130| 20 5c 65 78 70 61 6e 64 | 61 66 74 65 72 0a 20 20 | \expand|after.  |
|00001140| 20 20 20 5c 65 6e 64 63 | 73 6e 61 6d 65 20 5c 74 |   \endc|sname \t|
|00001150| 68 65 5c 74 68 65 6f 72 | 65 6d 62 6f 64 79 66 6f |he\theor|embodyfo|
|00001160| 6e 74 20 5c 40 74 68 6d | 7b 23 31 7d 7b 23 32 7d |nt \@thm|{#1}{#2}|
|00001170| 7d 25 0a 20 20 20 20 5c | 67 6c 6f 62 61 6c 20 5c |}%.    \|global \|
|00001180| 65 78 70 61 6e 64 61 66 | 74 65 72 20 5c 6c 65 74 |expandaf|ter \let|
|00001190| 20 5c 63 73 6e 61 6d 65 | 20 65 6e 64 23 31 5c 65 | \csname| end#1\e|
|000011a0| 6e 64 63 73 6e 61 6d 65 | 20 5c 40 65 6e 64 74 68 |ndcsname| \@endth|
|000011b0| 65 6f 72 65 6d 7d 7d 0a | 5c 67 64 65 66 5c 40 6f |eorem}}.|\gdef\@o|
|000011c0| 74 68 6d 23 31 5b 23 32 | 5d 23 33 7b 5c 65 78 70 |thm#1[#2|]#3{\exp|
|000011d0| 61 6e 64 61 66 74 65 72 | 5c 40 69 66 64 65 66 69 |andafter|\@ifdefi|
|000011e0| 6e 61 62 6c 65 5c 63 73 | 6e 61 6d 65 20 23 31 5c |nable\cs|name #1\|
|000011f0| 65 6e 64 63 73 6e 61 6d | 65 0a 20 20 7b 5c 65 78 |endcsnam|e.  {\ex|
|00001200| 70 61 6e 64 61 66 74 65 | 72 20 5c 78 64 65 66 20 |pandafte|r \xdef |
|00001210| 5c 63 73 6e 61 6d 65 20 | 74 68 65 23 31 5c 65 6e |\csname |the#1\en|
|00001220| 64 63 73 6e 61 6d 65 0a | 20 20 20 20 20 7b 5c 65 |dcsname.|     {\e|
|00001230| 78 70 61 6e 64 61 66 74 | 65 72 20 5c 6e 6f 65 78 |xpandaft|er \noex|
|00001240| 70 61 6e 64 20 5c 63 73 | 6e 61 6d 65 20 74 68 65 |pand \cs|name the|
|00001250| 23 32 5c 65 6e 64 63 73 | 6e 61 6d 65 7d 25 0a 20 |#2\endcs|name}%. |
|00001260| 20 20 20 5c 64 65 66 5c | 40 74 65 6d 70 61 7b 5c |   \def\|@tempa{\|
|00001270| 67 6c 6f 62 61 6c 5c 40 | 6e 61 6d 65 64 65 66 7b |global\@|namedef{|
|00001280| 23 31 7d 7d 5c 65 78 70 | 61 6e 64 61 66 74 65 72 |#1}}\exp|andafter|
|00001290| 20 5c 40 74 65 6d 70 61 | 0a 20 20 20 20 20 5c 65 | \@tempa|.     \e|
|000012a0| 78 70 61 6e 64 61 66 74 | 65 72 7b 5c 63 73 6e 61 |xpandaft|er{\csna|
|000012b0| 6d 65 20 74 68 40 5c 74 | 68 65 20 5c 74 68 65 6f |me th@\t|he \theo|
|000012c0| 72 65 6d 40 73 74 79 6c | 65 20 5c 65 78 70 61 6e |rem@styl|e \expan|
|000012d0| 64 61 66 74 65 72 0a 20 | 20 20 20 20 5c 65 6e 64 |dafter. |    \end|
|000012e0| 63 73 6e 61 6d 65 20 5c | 74 68 65 5c 74 68 65 6f |csname \|the\theo|
|000012f0| 72 65 6d 62 6f 64 79 66 | 6f 6e 74 20 5c 40 74 68 |rembodyf|ont \@th|
|00001300| 6d 7b 23 32 7d 7b 23 33 | 7d 7d 25 0a 20 20 20 20 |m{#2}{#3|}}%.    |
|00001310| 5c 67 6c 6f 62 61 6c 20 | 5c 65 78 70 61 6e 64 61 |\global |\expanda|
|00001320| 66 74 65 72 20 5c 6c 65 | 74 20 5c 63 73 6e 61 6d |fter \le|t \csnam|
|00001330| 65 20 65 6e 64 23 31 5c | 65 6e 64 63 73 6e 61 6d |e end#1\|endcsnam|
|00001340| 65 20 5c 40 65 6e 64 74 | 68 65 6f 72 65 6d 7d 7d |e \@endt|heorem}}|
|00001350| 0a 5c 67 64 65 66 5c 40 | 74 68 6d 23 31 23 32 7b |.\gdef\@|thm#1#2{|
|00001360| 5c 72 65 66 73 74 65 70 | 63 6f 75 6e 74 65 72 7b |\refstep|counter{|
|00001370| 23 31 7d 25 0a 20 20 20 | 5c 74 72 69 76 6c 69 73 |#1}%.   |\trivlis|
|00001380| 74 0a 20 20 20 5c 40 74 | 6f 70 73 65 70 20 5c 74 |t.   \@t|opsep \t|
|00001390| 68 65 6f 72 65 6d 70 72 | 65 73 6b 69 70 61 6d 6f |heorempr|eskipamo|
|000013a0| 75 6e 74 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |unt     |        |
|000013b0| 20 20 25 20 75 73 65 64 | 20 62 79 20 66 69 72 73 |  % used| by firs|
|000013c0| 74 20 5c 69 74 65 6d 0a | 20 20 20 5c 40 74 6f 70 |t \item.|   \@top|
|000013d0| 73 65 70 61 64 64 20 5c | 74 68 65 6f 72 65 6d 70 |sepadd \|theoremp|
|000013e0| 6f 73 74 73 6b 69 70 61 | 6d 6f 75 6e 74 20 20 20 |ostskipa|mount   |
|000013f0| 20 20 20 20 20 20 20 20 | 25 20 75 73 65 64 20 62 |        |% used b|
|00001400| 79 20 5c 40 65 6e 64 70 | 61 72 65 6e 76 0a 20 20 |y \@endp|arenv.  |
|00001410| 20 5c 40 69 66 6e 65 78 | 74 63 68 61 72 20 5b 25 | \@ifnex|tchar [%|
|00001420| 0a 20 20 20 7b 5c 40 79 | 74 68 6d 7b 23 31 7d 7b |.   {\@y|thm{#1}{|
|00001430| 23 32 7d 7d 25 0a 20 20 | 20 7b 5c 40 62 65 67 69 |#2}}%.  | {\@begi|
|00001440| 6e 74 68 65 6f 72 65 6d | 7b 23 32 7d 7b 5c 63 73 |ntheorem|{#2}{\cs|
|00001450| 6e 61 6d 65 20 74 68 65 | 23 31 5c 65 6e 64 63 73 |name the|#1\endcs|
|00001460| 6e 61 6d 65 7d 5c 69 67 | 6e 6f 72 65 73 70 61 63 |name}\ig|norespac|
|00001470| 65 73 7d 7d 0a 5c 67 6c | 6f 62 61 6c 5c 6c 65 74 |es}}.\gl|obal\let|
|00001480| 5c 40 78 74 68 6d 5c 72 | 65 6c 61 78 0a 5c 6e 65 |\@xthm\r|elax.\ne|
|00001490| 77 73 6b 69 70 5c 74 68 | 65 6f 72 65 6d 70 72 65 |wskip\th|eorempre|
|000014a0| 73 6b 69 70 61 6d 6f 75 | 6e 74 0a 5c 6e 65 77 73 |skipamou|nt.\news|
|000014b0| 6b 69 70 5c 74 68 65 6f | 72 65 6d 70 6f 73 74 73 |kip\theo|remposts|
|000014c0| 6b 69 70 61 6d 6f 75 6e | 74 0a 5c 67 6c 6f 62 61 |kipamoun|t.\globa|
|000014d0| 6c 5c 73 65 74 6c 65 6e | 67 74 68 5c 74 68 65 6f |l\setlen|gth\theo|
|000014e0| 72 65 6d 70 72 65 73 6b | 69 70 61 6d 6f 75 6e 74 |rempresk|ipamount|
|000014f0| 7b 31 32 70 74 20 70 6c | 75 73 20 35 70 74 20 6d |{12pt pl|us 5pt m|
|00001500| 69 6e 75 73 20 33 70 74 | 7d 0a 5c 67 6c 6f 62 61 |inus 3pt|}.\globa|
|00001510| 6c 5c 73 65 74 6c 65 6e | 67 74 68 5c 74 68 65 6f |l\setlen|gth\theo|
|00001520| 72 65 6d 70 6f 73 74 73 | 6b 69 70 61 6d 6f 75 6e |remposts|kipamoun|
|00001530| 74 7b 38 70 74 20 70 6c | 75 73 20 33 70 74 20 6d |t{8pt pl|us 3pt m|
|00001540| 69 6e 75 73 20 31 2e 35 | 70 74 7d 0a 5c 67 6c 6f |inus 1.5|pt}.\glo|
|00001550| 62 61 6c 5c 6c 65 74 5c | 40 65 6e 64 74 68 65 6f |bal\let\|@endtheo|
|00001560| 72 65 6d 3d 5c 65 6e 64 | 74 72 69 76 6c 69 73 74 |rem=\end|trivlist|
|00001570| 0a 7b 5c 64 65 66 5c 64 | 6f 7b 5c 6e 6f 65 78 70 |.{\def\d|o{\noexp|
|00001580| 61 6e 64 5c 64 6f 5c 6e | 6f 65 78 70 61 6e 64 7d |and\do\n|oexpand}|
|00001590| 0a 5c 78 64 65 66 5c 40 | 70 72 65 61 6d 62 6c 65 |.\xdef\@|preamble|
|000015a0| 63 6d 64 73 7b 5c 40 70 | 72 65 61 6d 62 6c 65 63 |cmds{\@p|reamblec|
|000015b0| 6d 64 73 20 5c 64 6f 5c | 40 78 6e 74 68 6d 20 5c |mds \do\|@xnthm \|
|000015c0| 64 6f 5c 40 79 6e 74 68 | 6d 20 5c 64 6f 5c 40 6f |do\@ynth|m \do\@o|
|000015d0| 74 68 6d 0a 20 20 20 20 | 20 20 20 20 5c 64 6f 5c |thm.    |    \do\|
|000015e0| 6e 65 77 74 68 65 6f 72 | 65 6d 20 5c 64 6f 5c 74 |newtheor|em \do\t|
|000015f0| 68 65 6f 72 65 6d 73 74 | 79 6c 65 20 5c 64 6f 5c |heoremst|yle \do\|
|00001600| 74 68 65 6f 72 65 6d 62 | 6f 64 79 66 6f 6e 74 0a |theoremb|odyfont.|
|00001610| 20 20 20 20 20 20 20 20 | 5c 64 6f 5c 74 68 65 6f |        |\do\theo|
|00001620| 72 65 6d 68 65 61 64 65 | 72 66 6f 6e 74 7d 0a 7d |remheade|rfont}.}|
|00001630| 0a 5c 74 68 65 6f 72 65 | 6d 73 74 79 6c 65 7b 70 |.\theore|mstyle{p|
|00001640| 6c 61 69 6e 7d 0a 0a 5c | 65 6e 64 69 6e 70 75 74 |lain}..\|endinput|
|00001650| 0a 25 25 20 0a 25 25 20 | 45 6e 64 20 6f 66 20 66 |.%% .%% |End of f|
|00001660| 69 6c 65 20 60 74 68 65 | 6f 72 65 6d 2e 73 74 79 |ile `the|orem.sty|
|00001670| 27 2e 0a                |                         |'..     |        |
+--------+-------------------------+-------------------------+--------+--------+